<?php
$known_maps = array(
"00000000000000000000000000000000000000000000000000111100011001101100001011000000110111001110011011000011110000110110011000111100000000000000000000000000000000000000000000000000" =>"6",
"00000000000000000000000000000000000000000000000011111110110000001100000011011100111001100000001100000011110000110110011000111100000000000000000000000000000000000000000000000000" =>"5",
"00000000000000000000000000000000000000000000000000000110000011100001111000110110011001101100011011111111000001100000011000000110000000000000000000000000000000000000000000000000" =>"4",
"00000000000000000000000000000000000000000000000000111100011001101100001111000011011001110011101100000011010000110110011000111100000000000000000000000000000000000000000000000000" =>"9",
"00000000000000000000000000000000000000000000000000111100011001101100001100000011000001100000110000011000001100000110000011111111000000000000000000000000000000000000000000000000" =>"2",
"00000000000000000000000000000000000000000000000011111111000000110000001100000110000011000001100000110000011000001100000011000000000000000000000000000000000000000000000000000000" =>"7",
"00000000000000000000000000000000000000000000000000011000001111000110011011000011110000111100001111000011011001100011110000011000000000000000000000000000000000000000000000000000" =>"0",
"00000000000000000000000000000000000000000000000001111100110001100000001100000110000111000000011000000011000000111100011001111100000000000000000000000000000000000000000000000000" =>"3",
"00000000000000000000000000000000000000000000000000111100011001101100001101100110001111000110011011000011110000110110011000111100000000000000000000000000000000000000000000000000" =>"8",
"000000000000000000000000000000000000001100011100111100001100001100001100001100001100001100111111000000000000000000000000000000000000" =>"1",
);
?>
